(assert bvor)
